The Rust type checker.
